A. A. Shalyto: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Declarative Approach to Implementing Automata Classes in Imperative Programming Languages

Artyom Astafurov,Anatoly Shalyto

Journal:

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Year:

2008

Language:

english

File:

PDF, 91 KB

english, 2008

2

Inheritance of Automata Classes Using Dynamic Programming Languages (using Ruby as an Example)

Kirill Timofeev,Artyom Astafurov,Anatoly Shalyto

Journal:

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Year:

2009

Language:

english

File:

PDF, 265 KB

english, 2009

3

A GA-based approach for test generation for automata-based programs

Andrey Zakonov,Oleg Stepanov,Anatoly Shalyto

Journal:

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Year:

2010

Language:

english

File:

PDF, 217 KB

english, 2010

4

Creation of Automaton Classes from Graphical Models and Automatic Solution for Inverse Problem

Yuri Gubin,Kirill Timofeev,Anatoly Shalyto

Journal:

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Year:

2009

Language:

english

File:

PDF, 206 KB

english, 2009

5

A Method for Automatic Runtime Verification of Automata-Based Programs

Oleg Stepanov,Anatoly Shalyto

Journal:

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Year:

2008

Language:

english

File:

PDF, 21 KB

english, 2008

6

Automata programming as a sort of synchronous programming

SHALYTO A.A.,NAUMOV L.A.

Journal:

Радиоэлектроника и информатика

Year:

2003

Language:

english

File:

PDF, 238 KB

english, 2003

7

Generating Test Cases With High Branch Coverage for Web Applications

Andrey Zakonov,Anatoly Shalyto

Journal:

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Year:

2012

Language:

english

File:

PDF, 90 KB

english, 2012

8

SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems

A. A. Shalyto, N. I. Tukkel'

Journal:

Programming and Computer Software

Year:

2001

Language:

english

File:

PDF, 68 KB

english, 2001

9

[IEEE International Conference on Integration of Knowledge Intensive Multi-Agent Systems, 2005. - Westin Hotel, Waltham, MA, USA (April 18-21, 2005)] International Conference on Integration of Knowledge Intensive Multi-Agent Systems, 2005. - Automata-based programming of the reactive multi-agent control systems

Yartsev, B., Korneev, G., Shalyto, A., Kotov, V.

Year:

2005

Language:

english

File:

PDF, 1.59 MB

english, 2005

10

Application of Genetic Programming for Generation of Controllers represented by Automata

Davydov, Andrey, Sokolov, Dmitry, Tsarev, Fedor, Shalyto, Anatoly

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 290 KB

english, 2009

11

[ACM Press the 2019 the International Conference - Wenzhou, China (2019.08.26-2019.08.28)] Proceedings of the 2019 the International Conference on Pattern Recognition and Artificial Intelligence - PRAI '19 - Fusing of Medical Images and Reports in Diagnostics of Brain Diseases

Vatian, Aleksandra, Gusarova, Natalia, Dobrenko, Natalia, Klochkov, Anton, Nigmatullin, Niyaz, Lobantsev, Artem, Shalyto, Anatoly

Year:

2019

File:

PDF, 763 KB

2019

12

[IEEE 2019 24th Conference of Open Innovations Association (FRUCT) - Moscow, Russia (2019.4.8-2019.4.12)] 2019 24th Conference of Open Innovations Association (FRUCT) - Impact of Adversarial Examples on the Efficiency of Interpretation and Use of Information from High-Tech Medical Images

Vatian, Aleksandra, Gusarova, Natalia, Dobrenko, Natalia, Dudorov, Sergey, Nigmatullin, Niyaz, Shalyto, Anatoly, Lobantsev, Artem

Year:

2019

Language:

english

File:

PDF, 1.16 MB

english, 2019

13

Tools for support of automata-based programming

V. S. Gurov, M. A. Mazin, A. S. Narvsky, A. A. Shalyto

Journal:

Programming and Computer Software

Year:

2007

Language:

english

File:

PDF, 371 KB

english, 2007

14

Graphical inheritance notation for state-based classes

D. G. Shopyrin, A. A. Shalyto

Journal:

Programming and Computer Software

Year:

2007

Language:

english

File:

PDF, 249 KB

english, 2007

15

Multifunctional logic modules consisting of elements with bilateral conductance

Journal:

Journal of Computer and Systems Sciences International

Year:

2006

Language:

english

File:

PDF, 158 KB

english, 2006

16

Application of genetic algorithms for automatic construction of finite-state automata in the problem of flibs

P. G. Lobanov, A. A. Shalyto

Journal:

Journal of Computer and Systems Sciences International

Year:

2007

Language:

english

File:

PDF, 190 KB

english, 2007

17

Method of reduced tables for generation of automata with a large number of input variables based on genetic programming

N. I. Polikarpova, V. N. Tochilin, A. A. Shalyto

Journal:

Journal of Computer and Systems Sciences International

Year:

2010

Language:

english

File:

PDF, 743 KB

english, 2010

18

Logic Control and “Reactive” Systems: Algorithmization and Programming

Journal:

Automation and Remote Control

Year:

2001

Language:

english

File:

PDF, 206 KB

english, 2001

19

Translating Iterative Algorithms into Automaton Ones

A. A. Shalyto, N. I. Tukkel'

Journal:

Programming and Computer Software

Year:

2002

Language:

english

File:

PDF, 65 KB

english, 2002

20

Inducing finite state machines from training samples using ant colony optimization

Buzhinsky, I. P., Ulyantsev, V. I., Chivilikhin, D. S., Shalyto, A. A.

Journal:

Journal of Computer and Systems Sciences International

Year:

2014

Language:

english

File:

PDF, 1.54 MB

english, 2014

21

[IEEE 2006 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications - La Coruna, Spain (2006.7.12-2006.7.12)] 2006 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications - Modeling Technology for One Class of Multi-Agent Systems with Automata Based Programming

Paraschenko, Dmitry, Shalyto, Anatoly, Tsarev, Fedor

Year:

2006

Language:

english

File:

PDF, 6.19 MB

english, 2006

22

[IEEE 2013 12th International Conference on Machine Learning and Applications (ICMLA) - Miami, FL, USA (2013.12.4-2013.12.7)] 2013 12th International Conference on Machine Learning and Applications - Worst-Case Execution Time Test Generation for Augmenting Path Maximum Flow Algorithms Using Genetic Algorithms

Arkhipov, Viktor, Buzdalov, Maxim, Shalyto, Anatoly

Year:

2013

Language:

english

File:

PDF, 433 KB

english, 2013

23

[IEEE International Conference on Integration of Knowledge Intensive Multi-Agent Systems, 2005. - Westin Hotel, Waltham, MA, USA (April 18-21, 2005)] International Conference on Integration of Knowledge Intensive Multi-Agent Systems, 2005. - Methods of object-oriented reactive agents implementation on the basis of finite automata

Shalyto, A., Naumov, L., Korneev, G.

Year:

2005

Language:

english

File:

PDF, 1.58 MB

english, 2005

24

[IEEE Test Symposium (EWDTS) - St. Petersburg, Russia (2010.09.17-2010.09.20)] 2010 East-West Design & Test Symposium (EWDTS) - GA-based and design by contract approach to test generation for EFSMs

Zakonov, Andrey, Stepanov, Oleg, Shalyto, Anatoly

Year:

2010

Language:

english

File:

PDF, 353 KB

english, 2010

25

[IEEE 2009 5th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR 2009) - Moscow, Russia (2009.10.28-2009.10.29)] 2009 5th Central and Eastern European Software Engineering Conference in Russia (CEE-SECR) - Neuro-automata based controlling

Gubin, Yuri, Shalyto, Anatoly

Year:

2009

Language:

russian

File:

PDF, 319 KB

russian, 2009

26

[IEEE 2014 12th IEEE International Conference on Industrial Informatics (INDIN) - Porto Alegre RS, Brazil (2014.7.27-2014.7.30)] 2014 12th IEEE International Conference on Industrial Informatics (INDIN) - Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence

Zhabelova, Gulnara, Yang, Chen-Wei, Patil, Sandeep, Pang, Cheng, Yan, Jeffrey, Shalyto, Anatoly, Vyatkin, Valeriy

Year:

2014

Language:

english

File:

PDF, 875 KB

english, 2014

27

[IEEE 2014 12th IEEE International Conference on Industrial Informatics (INDIN) - Porto Alegre RS, Brazil (2014.7.27-2014.7.30)] 2014 12th IEEE International Conference on Industrial Informatics (INDIN) - A portability study of IEC 61499: Semantics and tools

Pang, Cheng, Patil, Sandeep, Yang, Chen-Wei, Vyatkin, Valeriy, Shalyto, Anatoly

Year:

2014

Language:

english

File:

PDF, 938 KB

english, 2014

28

[IEEE 2014 13th International Conference on Machine Learning and Applications (ICMLA) - Detroit, MI, USA (2014.12.3-2014.12.6)] 2014 13th International Conference on Machine Learning and Applications - Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties

Chivilikhin, Daniil, Ulyantsev, Vladimir, Shalyto, Anatoly

Year:

2014

File:

PDF, 228 KB

2014

29

[ACM Press the Companion Publication of the 2015 - Madrid, Spain (2015.07.11-2015.07.15)] Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference - GECCO Companion '15 - Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming

Chivilikhin, Daniil, Ivanov, Ilya, Shalyto, Anatoly

Year:

2015

Language:

english

File:

PDF, 770 KB

english, 2015

30

[ACM Press Proceeding of the fifteenth annual conference companion - Amsterdam, The Netherlands (2013.07.06-2013.07.10)] Proceeding of the fifteenth annual conference companion on Genetic and evolutionary computation conference companion - GECCO '13 Companion - Search-based construction of finite-state machines with real-valued actions

Buzhinsky, Igor, Ulyantsev, Vladimir, Tsarev, Fedor, Shalyto, Anatoly

Year:

2013

Language:

english

File:

PDF, 709 KB

english, 2013

31

[IEEE 2015 IEEE Congress on Evolutionary Computation (CEC) - Sendai, Japan (2015.5.25-2015.5.28)] 2015 IEEE Congress on Evolutionary Computation (CEC) - Hard test generation for augmenting path maximum flow algorithms using genetic algorithms: Revisited

Buzdalov, Maxim, Shalyto, Anatoly

Year:

2015

Language:

english

File:

PDF, 232 KB

english, 2015

32

[IEEE 2015 IEEE 13th International Conference on Industrial Informatics (INDIN) - Cambridge, United Kingdom (2015.7.22-2015.7.24)] 2015 IEEE 13th International Conference on Industrial Informatics (INDIN) - Change request management in model-driven engineering of industrial automation software

Lin, Heng-You, Sierla, Seppo, Papakonstantinou, Nikolaos, Shalyto, Anatoly, Vyatkin, Valeriy

Year:

2015

File:

PDF, 1.09 MB

2015

33

[IEEE International Conference on Integration of Knowledge Intensive Multi-Agent Systems. KIMAS'03: Modeling, Exploration, and Engineering - Cambridge, MA, USA (30 Sept.-4 Oct. 2003)] IEMC '03 Proceedings. Managing Technologically Driven Organizations: The Human Side of Innovation and Change (IEEE Cat. No.03CH37502) - Automata theory for multi-agent systems implementation

Naumov, L., Shalyto, A.

Year:

2003

Language:

english

File:

PDF, 425 KB

english, 2003

34

[IEEE 2015 IEEE Trustcom/BigDataSE/ISPA - Helsinki, Finland (2015.8.20-2015.8.22)] 2015 IEEE Trustcom/BigDataSE/ISPA - Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks

Chivilikhin, Daniil, Shalyto, Anatoly, Vyatkin, Valeriy

Year:

2015

Language:

english

File:

PDF, 324 KB

english, 2015

35

[IEEE 2015 IEEE 14th International Conference on Machine Learning and Applications (ICMLA) - Miami, FL, USA (2015.12.9-2015.12.11)] 2015 IEEE 14th International Conference on Machine Learning and Applications (ICMLA) - An Asynchronous Implementation of the Limited Memory CMA-ES

Arkhipov, Viktor, Buzdalov, Maxim, Shalyto, Anatoly

Year:

2015

Language:

english

File:

PDF, 186 KB

english, 2015

36

[IEEE 2015 IEEE 13th International Conference on Industrial Informatics (INDIN) - Cambridge, United Kingdom (2015.7.22-2015.7.24)] 2015 IEEE 13th International Conference on Industrial Informatics (INDIN) - Reconstruction of function block logic using metaheuristic algorithm: Initial explorations

Chivilikhin, Daniil, Shalyto, Anatoly, Patil, Sandeep, Vyatkin, Valeriy

Year:

2015

Language:

english

File:

PDF, 357 KB

english, 2015

37

[IEEE 2013 12th International Conference on Machine Learning and Applications (ICMLA) - Miami, FL, USA (2013.12.4-2013.12.7)] 2013 12th International Conference on Machine Learning and Applications - A First Step towards the Runtime Analysis of Evolutionary Algorithm Adjusted with Reinforcement Learning

Buzdalov, Maxim, Buzdalova, Arina, Shalyto, Anatoly

Year:

2013

Language:

english

File:

PDF, 415 KB

english, 2013

38

Modification of the method of generation of control finite-state machines with continuous actions based on training examples

Buzhinsky, I. P., Kazakov, S. V., Ulyantsev, V. I., Tsarev, F. N., Shalyto, A. A.

Journal:

Journal of Computer and Systems Sciences International

Year:

2015

Language:

english

File:

PDF, 888 KB

english, 2015

39

Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas

Chivilikhin, D. S., Ulyantsev, V. I., Shalyto, A. A.

Journal:

Automation and Remote Control

Year:

2016

Language:

english

File:

PDF, 597 KB

english, 2016

40

Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization

Chivilikhin, Daniil S., Ulyantsev, Vladimir I., Shalyto, Anatoly A.

Journal:

IFAC Proceedings Volumes

Year:

2013

Language:

english

File:

PDF, 209 KB

english, 2013

41

Test-Based Induction of Finite-State Machines with Continuous Output Actions

Buzhinsky, Igor, Ulyantsev, Vladimir, Shalyto, Anatoly

Journal:

IFAC Proceedings Volumes

Year:

2013

Language:

english

File:

PDF, 1.43 MB

english, 2013

42

[IEEE 2016 International Siberian Conference on Control and Communications (SIBCON) - Moscow, Russia (2016.5.12-2016.5.14)] 2016 International Siberian Conference on Control and Communications (SIBCON) - Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems

Dubinin, Victor, Vyatkin, Valeriy, Shalyto, Anatoly

Year:

2016

Language:

english

File:

PDF, 233 KB

english, 2016

43

Exact finite-state machine identification from scenarios and temporal properties

Ulyantsev, Vladimir, Buzhinsky, Igor, Shalyto, Anatoly

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 1.20 MB

english, 2016

44

[IEEE 2016 IEEE 8th International Conference on Intelligent Systems (IS) - Sofia, Bulgaria (2016.9.4-2016.9.6)] 2016 IEEE 8th International Conference on Intelligent Systems (IS) - Models and methods for multicriteria situational flexible reassignment of control functions in man-machine systems

Pavlov, Alexsander, Pashchenko, Anton, Sokolov, Boris, Shalyto, Anatoly, Maklakov, Gennady

Year:

2016

Language:

english

File:

PDF, 229 KB

english, 2016

45

[IEEE 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) - Poitiers, France (2016.7.19-2016.7.21)] 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) - Reconstruction of function block controllers based on test scenarios and verification

Chivilikhin, Daniil, Ivanov, Ilya, Shalyto, Anatoly, Vyatkin, Valeriy

Year:

2016

Language:

english

File:

PDF, 331 KB

english, 2016

46

Reconstruction of Function Block Logic using Metaheuristic Algorithm

Chivilikhin, Daniil, Shalyto, Anatoly, Patil, Sandeep, Vyatkin, Valeriy

Journal:

IEEE Transactions on Industrial Informatics

Year:

2017

Language:

english

File:

PDF, 1.36 MB

english, 2017

47

Heuristic and metaheuristic solutions of pickup and delivery problem for self-driving taxi routing

Shalamov, Viacheslav, Filchenkov, Andrey, Shalyto, Anatoly

Journal:

Evolving Systems

Year:

2017

Language:

english

File:

PDF, 2.12 MB

english, 2017

48

[IEEE 2017 5th IEEE Workshop on Advances in Information, Electronic and Electrical Engineering (AIEEE) - Riga, Latvia (2017.11.24-2017.11.25)] 2017 5th IEEE Workshop on Advances in Information, Electronic and Electrical Engineering (AIEEE) - Models and algorithms of operational planning and control of dynamical objects with application of the Pontryagin's Maximum principle

Sokolov, Boris, Gnidenko, Andrey, Shalyto, Anatoly

Year:

2017

Language:

english

File:

PDF, 239 KB

english, 2017

49

[IEEE 2017 IEEE 15th International Conference on Industrial Informatics (INDIN) - Emden (2017.7.24-2017.7.26)] 2017 IEEE 15th International Conference on Industrial Informatics (INDIN) - CSP-based inference of function block finite-state models from execution traces

Chivilikhin, Daniil, Ulyantsev, Vladimir, Shalyto, Anatoly, Vyatkin, Valeriy

Year:

2017

Language:

english

File:

PDF, 352 KB

english, 2017

50

[IEEE 2017 IEEE 15th International Conference on Industrial Informatics (INDIN) - Emden (2017.7.24-2017.7.26)] 2017 IEEE 15th International Conference on Industrial Informatics (INDIN) - Plant trace generation for formal plant model inference: Methods and case study

Avdyukhin, Dmitry, Chivilikhin, Daniil, Korneev, Georgiy, Ulyantsev, Vladimir, Shalyto, Anatoly

Year:

2017

Language:

english

File:

PDF, 192 KB

english, 2017